Reversible computing
MODEL OF COMPUTING
Reversible computation; Logical reversibility; Non-destructive computing; Reversible logic; Charge recovery logic; Reversible Circuit; Reversible programming language; Adiabatic computing
Reversible computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic transitions from one state of the abstract machine to another, a necessary condition for reversibility is that the relation of the mapping from states to their successors must be one-to-one.